DEF=kat
EXT=kat

include ../../../include/kframework/ktest-fail.mak
